ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

ML provides unusually powerful mechanisms for building programs from reusable modules. Such power is not available in other popular languages, and programmers accustomed to those languages have wondered if a powerful modules system is really necessary. This paper explores the power of ML modules—including higher-order functors—via an extended programming example. The example solves a problem in...

Type Safe Extensible Programming

Software products evolve over time. Sometimes they evolve by adding new features, and sometimes by either fixing bugs or replacing outdated implementations with new ones. When software engineers fail to anticipate such evolution during development, they will eventually be forced to re-architect or re-build from scratch. Therefore, it has been common practice to prepare for changes so that softw...

A Bytecode-Compiled, Type-safe, Multi-Stage Language

!" # $ $ % & (' ) % * ,+. +0/ , # 1') , ) 2 3 !4 5 6 # $ , (' !7 +0 0/8 9 +& ) , # : $ .# + # ; < = , > 0 ? !@' # / + .# +A' B + < 7.

A Type-Safe Embedding of XDuce into ML

An Extensible Interpreter for Value-Passing CCS

1 2 Abstract We describe an interpreter for a value-passing version of CCS implemented in the lazy functional programming language Haskell. Starting from a base interpreter, we then show how to modify the interpreter for CCS extensions including, additional non-primitive combinators, new primitive operators (an interrupt operator), a time domain with a timeout operator useful in describing real...